flip(heads).
flip(tails).


